$\forall$$i$:Id, $k$:Knd, ${\it da}$:Decl, ${\it din}$:InDecl($i$). Valtype($k$;${\it da}$;${\it din}$) $\in$ Type